normalize{-}constraints($k$;$A$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map{-}eval($p$.normalize{-}constraint($k$;$p$);$A$)